$\forall$$M$:MsgA, $k$:Knd, $l$:IdLnk, ${\it tg}$:Id. $M$.sframe($k$ sends $<$$l$,${\it tg}$$>$) $\in$ $\mathbb{P}$